281. AI*IA 2018 -- advances in artificial intelligence :
پدیدآورنده: Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q334


282. Abstract algebra :
پدیدآورنده: David R. Finston, Patrick J. Morandi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra, Abstract,Algebra,Linear and Multilinear Algebras, Matrix Theory,Mathematical Applications in Computer Science,Mathematics
رده :
QA162


283. Abstract data types: Their specification, representation, and use
پدیدآورنده: Pete Thomas, Hugh Robinson, and Judy Emms
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Abstract data types (Computer science)
رده :
QA
،
76
.
9
،.
A23
,
T46
،
1988


284. Abstraction, refinement and proof for probabilistic systems
پدیدآورنده: / Annabelle McIver, Carroll Morgan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Engineering mathematics.,Probabilities.,Systems engineering.
رده :
TA
,
340
,.
M43
,
2005


285. Accuracy and reliability in scientific computing /
پدیدآورنده: edited by Bo Einarsson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programs-- Correctness-- Scientific applications,Reliability (Engineering)-- Mathematics,Science-- Data processing,Software productivity-- Scientific applications
رده :
Q183
.
9
.
A28
2005


286. Accurate scientific computations : Symposium, Bad Neuenahr, FRG, March 12-14, 1985 : Proceedings
پدیدآورنده: edited by Willard L. Miranker, Richard A. Toupin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Mathematics,Congresses ، Numerical calculations
رده :
QA
76
.
L28
Vol
.
235


287. Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985 : proceedings
پدیدآورنده: edited by Willard L. Miranker and Richard A. Toupin
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Mathematics - Data processing,Congresses ، Numerical calculations
رده :
QA
76
.
L4
v
.
235


288. Adaptive Identification and Control of Uncertain Systems with Non-smooth Dynamics.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Adaptive control systems.,Friction.,Servomechanisms.,Adaptive control systems.,Friction.,Servomechanisms.,TECHNOLOGY & ENGINEERING / Engineering (General),TECHNOLOGY & ENGINEERING / Reference.
رده :
TA418
.
72


289. Adaptive stochastic methods : in computational mathematics and mechanics
پدیدآورنده: Dmitry G. Arseniev, Vladimir M. Ivanov, Maxim L. Korenevsky
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Adaptive control systems,، Computer science -- Mathematics
رده :
TJ
217
.
A77A3


290. Adaptive treatment strategies in practice :
پدیدآورنده: edited by Michael Kosorok, Erica Moodie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Clinical trials-- Statistical methods.,Medical statistics.,Medicine-- Research-- Statistical methods.,Clinical trials-- Statistical methods.,Medical statistics.,Medicine-- Research-- Statistical methods.
رده :
RA409
.
A33
2015eb


291. Additive combinatorics :
پدیدآورنده: Bela Bajnok.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial analysis.,Computer science-- Mathematics.,Combinatorial analysis.,Computer science-- Mathematics.
رده :
QA164
.
B3485
2018eb


292. Adjoint Equations and Analysis of Complex Systems
پدیدآورنده: by Guri I. Marchuk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Environmental sciences.,Mathematics.

293. Advance Numerical Techniques to Solve Linear and Nonlinear Differential Equations
پدیدآورنده: / Editors Geeta Arora, Mangey Ram
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Differential equations, Nonlinear, -- Numerical solutions,a05,Differential equations, Linear -- Numerical solutions

294. Advance discrete mathematics
پدیدآورنده: / G. C. Sharma, Madhu Jain
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer science-Mathematics
رده :
QA
76
.
9
.
M35S5
2009


295. Advance discrete structure
پدیدآورنده: C. B. Gupta, S. R. Singh, Sandeep Kumar
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematics,، Computer science -- Mathematics
رده :
QA
39
.
2
.
G86A3


296. Advanced Arithmetic for the Digital Computer :
پدیدآورنده: by Ulrich W. Kulisch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Computer network architectures.,Computer science.
رده :
QA76
.
9
.
C62
B985
2002


297. Advanced Boolean techniques :
پدیدآورنده: editors, Rolf Drechsler and Mathias Soeken.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra, Boolean, Congresses.,Algebra, Boolean.
رده :
QA10
.
3
.
I58
2018eb


298. Advanced Computational Methods for Knowledge Engineering
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computational intelligence -- Congresses,Computing -- Mathematics -- Congresses,هوش محاسباتی -- کنگرهها
رده :
E-Book
,

299. Advanced Computational Methods for Knowledge Engineering
پدیدآورنده: \ Tien Van Do, Hoai An Le thi, Ngoc Thanh Nguyen, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computational intelligence -- Congresses.,Computational intelligence,هوش کامپیوتری -- کنگرهها ,هوش کامپیوتری
رده :
Q
342
.
A3
2015
E-Book
,


300. Advanced Computational Methods for Knowledge Engineering
پدیدآورنده: \ [Edited by] Nguyen-Thinh Le...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computational intelligence -- Congresses.,Computer science -- Mathematics -- Congresses.,هوش محاسباتی -- کنگرهها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
E-Book
,
